-- Testing that unbound implicits get lifted appropriately -- Should all be at the topcomp : (b -> c) -> (a -> b) -> a -> c -- Leave 'a' where it iscomp2 : (b -> c) -> {a : _} -> (a -> b) -> a -> c