WIP everything works except 'compose'
WIP row row row your functions! 'compose' typechecks!