j
k
j a
j l
The class
class Inhabited x where something :: x
makes sense, not to say that x is inhabited, but to choose a default value for that type. Same thing for pointed functors. All the best, - Mauro
Back to the thread
Back to the list
