Consider generic TC[head] typeclass implementation #32
Labels
generated-by-gpt4
[robot] From our robot overlords
kind/improvement
An improvement with existing workaround
There's a note suggesting implementation of a generic TC[head] typeclass: 'all of these could summon a generic TC[head] typeclass but it's harder so... later?'. This needs to be considered for implementation.
The text was updated successfully, but these errors were encountered: