hkt
hkt copied to clipboard
Local classes shouldn't be able to implement __* interfaces
Local classes are classes declared inside methods or value constructors : there seems to be no use case for lifting those to type constructors.