Data.Functor.Extend
$definition
class
Extend
w