:: (a -> m b) -> (b -> m c) -> (a -> m c) -package:Agda -package:foundation -package:yesod-paginator package:base-unicode-symbols

(↣) = (>=>) (U+21A3, RIGHTWARDS ARROW WITH TAIL)