Noether.Lemmata.TypeFu

type (a $$> b) p q r