1 2 3 4 5 6 7 8 9 10
:l T15872 :t MkFun :k Fun :i Fun :set -fprint-explicit-kinds :t MkFun :k Fun :i Fun